51![Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3 Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3](https://www.pdfsearch.io/img/f1f0ca7818dc9b4f995ffc3b20efb0e0.jpg) | Add to Reading ListSource URL: www.openu.ac.ilLanguage: English - Date: 2004-09-27 01:19:29
|
---|
52![PML : A new proof assistant and deduction system Christophe Raffalli LAMA PML : A new proof assistant and deduction system Christophe Raffalli LAMA](https://www.pdfsearch.io/img/a48084933cf1626e4e7d431798f58a4d.jpg) | Add to Reading ListSource URL: www.lama.univ-savoie.frLanguage: English - Date: 2007-07-02 08:10:34
|
---|
53![Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K. Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K.](https://www.pdfsearch.io/img/70a5fa6cb5b36f7e485e84559d4ebbb3.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:05:29
|
---|
54![Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha](https://www.pdfsearch.io/img/109342b421587c7161ab8dcef23b2b0c.jpg) | Add to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2013-12-03 05:32:06
|
---|
55![CONTRIBUTED TALK ABSTRACTS 1.2 JAKUB BUL´IN Charles University in Prague Absorption in finitely related SD(∧) algebras has bounded arity The notion of absorbing subuniverse plays an important role in the recent devel CONTRIBUTED TALK ABSTRACTS 1.2 JAKUB BUL´IN Charles University in Prague Absorption in finitely related SD(∧) algebras has bounded arity The notion of absorbing subuniverse plays an important role in the recent devel](https://www.pdfsearch.io/img/50ab24065173ef75aa07528c200e4ea2.jpg) | Add to Reading ListSource URL: www.fields.utoronto.caLanguage: English - Date: 2011-07-27 15:26:23
|
---|
56![Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t](https://www.pdfsearch.io/img/416a3f794a75b91f390fc2ad5aac88b2.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-05-21 06:02:19
|
---|
57![COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER](https://www.pdfsearch.io/img/5a242703a9d3e1e3a5a1d56d69a6f9bb.jpg) | Add to Reading ListSource URL: erasmus.math.uni.lodz.plLanguage: English - Date: 2016-04-13 07:07:15
|
---|
58![On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990 On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990](https://www.pdfsearch.io/img/8eaf6f99dc7fb35f32a24e21e125855e.jpg) | Add to Reading ListSource URL: folk.uio.noLanguage: English - Date: 2014-04-01 05:47:01
|
---|
59![I N F S Y S R E S E A R C H R I N F S Y S R E S E A R C H R](https://www.pdfsearch.io/img/6a9cdabf17eae58ee8746b02577f2580.jpg) | Add to Reading ListSource URL: www.kr.tuwien.ac.atLanguage: English - Date: 2007-04-14 17:36:30
|
---|